Bringing them all Together

نویسندگان

  • Carlos Areces
  • Patrick Blackburn
چکیده

A sequent calculus for hybrid logics is developed from a calculus for classical predicat logic by a series of transformations. We formalize the semantic theory of hybrid logic using a sequent calculus for predicate logic plus axioms. This works, but it is ugly. The unnattractive features are removed one-by-one, until the final vestiges of the metalanguage can be set aside to reveal a fully internalized calculus. The techniques are quite general and can be applied to a wide range of hybrid and modal logics.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algorithmic Linearly Constrained Gaussian Processes

We algorithmically construct multi-output Gaussian process priors which satisfy linear differential equations. Our approach attempts to parametrize all solutions of the equations using Gröbner bases. If successful, a push forward Gaussian process along the paramerization is the desired prior. We consider several examples, among them the full inhomogeneous system of Maxwell’s equations. By bring...

متن کامل

Sainsbury’s Programme: Comment on Departing from Frege

This selection of essays brings to prominence an approach to semantics that has so far been little publicized and accessible only with special effort. Even though the essays have all been published previously, many of them were scattered in out of the way places such as conference proceedings. Bringing them together between two covers encourages reading them as contributing to one goal: the dev...

متن کامل

Mobile Accessibility Workshop

In this document we propose the creation of a Mobile Accessibility Workshop at Interact 2011. Mobile Accessibility is an area that has grown both in importance and number of researchers in recent years. Bringing them together in a workshop would be fruitful and lead to synergies and major developments in the area.

متن کامل

Comparative Study of Visual structure, “bringing the head of Iraj to Fereydoun "in the Safavi schools"

Basic features of Iranian painting in the centuries after the establishment of Islam are in relations with Persian literature. Painting depicts various literary themes by showing persons and scenes of stories, it also depicts the poetchr('39')s or writerchr('39')s words in drawing and color. Persian literature paintings, and especially Ferdowsichr('39')s Shahnameh stories are one of the most im...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Log. Comput.

دوره 11  شماره 

صفحات  -

تاریخ انتشار 2001